Skip to main content
Share
Favorite

123
RESULTS

texts 98
audio 19
images 4
movies 2
COLLECTION
TOPIC
theorems 24
Mathematics 23
THEOREMS 22
theorem 21
Maths 18
geometry 10
Probability 9
Statistics and Probability 9
angle theorems 8
bell system 8
proof 8
system technical 8
Analysis and Calculus 6
Calculus 6
Statistics 6
heuristic 6
ALGORITHMS 5
Definitions and Theorems 5
Integration Theorems 5
Theorems 5
data base 5
euclidean geometry 5
planner 5
problem solving 5
program 5
Geometry 4
THEOREM PROVING 4
circles 4
control structure 4
data 4
logic theory 4
problem solver 4
Algebra 3
DIFFERENTIAL EQUATIONS 3
FUNCTIONS (MATHEMATICS) 3
Groups 3
Inequalities and Limits Theorems 3
Lagrange and Fermat-Euler�s Theorems 3
Logic, Numbers and Set Theory 3
PROBLEM SOLVING 3
Stokes�s Theorem 3
circle geometry 3
complex 3
corollary 3
formula 3
function 3
heuristics 3
lemma 3
problem 3
procedural abstraction 3
procedure 3
processes 3
prove 3
scanning agent 3
substitution 3
tangent theorems 3
technical journal 3
theorem prover 3
triangle theorems 3
Axioms 2
Bayesian Statistics 2
Bayes� Theorem 2
CLASSIFICATIONS 2
Chebyshev�s Inequality 2
Divergence Theorem 2
Elements 2
Euler 2
Events and Sample Spaces 2
Existence theorems 2
FUNCTION SPACE 2
GEOMETRY 2
Graph Colouring 2
Graph Theory 2
Linear Algebra and Geometry 2
MATRICES (MATHEMATICS) 2
Math 2
Math4Teens 2
Networks 2
OPERATORS (MATHEMATICS) 2
Optimization 2
POLYNOMIALS 2
PROGRAM VERIFICATION (COMPUTERS) 2
PROVING 2
Physics 2
Planimetry 2
Quantum Relational Biology 2
Quaternions 2
TARGETS 2
Tauberian Theorems 2
Theorems of Brooks and Vizing 2
Union and Intersection of Events 2
Unizor 2
VECTORS (MATHEMATICS) 2
adept 2
antecedent theorems 2
assertions 2
assigned 2
backtrack control 2
bicomplete categories 2
chord theorems 2
composition series 2
computability of complex biological systems 2
converse theorems 2
defined 2
equations 2
evaluates 2
expression 2
expressions 2
failure 2
failure backs 2
failure propagates 2
fixed point 2
flow chart 2
formulas 2
gerald jay 2
group theory 2
isetq 2
limit theorems 2
limits and colimits 2
lisp 2
logic 2
logic expressions 2
logic theorist 2
logical class 2
memory 2
nil 2
pattern 2
probability 2
procedural 2
procedures 2
proof procedure 2
proof tree 2
proofs 2
property list 2
quantum computers 2
random variable 2
scanning 2
solving 2
status 2
status pnt 2
status rel 2
subordinate trees 2
sufficient condition 2
table 2
theorem proving 2
theory machine 2
thprog 2
type 2
variable 2
working memory 2
yields 2
(M 1
-R)--systems 1
2- and 3- Connected Graphs 1
L? as a Hilbert Space 1
AC 1
ACCURACY 1
AEROSPACE VEHICLES 1
ALGEBRA 1
ANALOGIES 1
ANTENNAS 1
ASYMPTOTES 1
ATTITUDE (INCLINATION) 1
Abelian category 1
Absorbed dose 1
Administration and Management 1
Algebraic Complexes 1
Algebraic Topology theorems 1
Allocations 1
Analysis 1
Axioma 1
Axioms for Groups 1
BOLTZMANN TRANSPORT EQUATION 1
BOUNDARIES 1
BOUNDARY VALUE PROBLEMS 1
Bayes Estimates 1
Bibliography 1
Borel 1
Borel�Cantelli Lemmas 1
CARBON DIOXIDE LASERS 1
CAUCHY PROBLEM 1
CERTIFICATION 1
CHOLESKY FACTORIZATION 1
CLASSICAL MECHANICS 1
CLUMPS 1
CLUSTER ANALYSIS 1
CODING 1
COMPLETENESS 1
COMPUTER PROGRAMS 1
COORDINATES 1
COVARIANCE 1
Cartesian closed categories 1
Categorical Ontology and the Theory of Levels (COTL) 1
Categorical Ontology of Ultra-complex systems,automata vs. quantum automata and organisms, Categorical Ontology and the Theory of Levels, Relational Biology Principles, What is Life ? and Life's multiple Logics, LM- and Q- Logic, organismic categories, supercategories and relational patterns, Abelian vs. non-Abelian theories, commutativity restrictions in Logic, Mathematics, Physics and Emergent - Dynamic Systems Theory, Lukasiewicz-Moisil Logic algebras of genetic networks and interactomes,Homo sapiens sapiens, the emergence of hominins and hominoides,cognitive science, mental representations and intentionality, logicians and philosophers: Brentano, Harman, Dennett, Field and Fodor' s philosophy of the human mind, Higher Dimensional Algebra (HDA) of the higher-meta-level brain functions, Higher Homotopy-General van Kampen Theorems (HHvKT) in modern Algebraic Topology and Non-Abelian Algebraic Topology (NAAT), non-commutativity of diagrams and non-Abelian theories, Non-Abelian Categorical Ontology, non-commutative topological invariants of complex dynamic state spaces, Natural Transformations in Molecular and Relational Biology, molecular class variables (MCV's, mcv's), the Primordial MR-system Origin of Life on Earth, Archea unicellular organisms, Organismal Evolution--the origins of species' biogroupoid representations, local-to-global procedures models of Organismal Evolution, biogroupoids, variable groupoids, variable categories, variable topology and atlas structures, irreversibility and open systems in Molecular and Statistical Biology/Biostatistics, selective boundaries vs. horizons, super-complex and ultra-complex systems, meta-levels of reality in human consciousness and human society, Global and Local aspects of Biological Evolution, colimits of variable biogroupoids, chains and compositions of local procedures (COLPs) in the Evolution and Co-Evolution of biological and Human species, What is Human Consciousness and Synaesthesia ?, Human Consciousness and its underlying brain dynamics as non-Abelian ultra-complex processes, Emergence of Human Consciousness through Societal Co-Evolution, social interactions 1
Categorical ontology and the theory of levels,formal foundation and relational structure of categorical ontology and emergent complexity theories,ontological essence and universal properties of items, Mathematical categories, groupoids, locally Lie groupoids,groupoid atlas, stacks, fibred categories,Relational Biology Principles, Higher -Homotopy General van Kampen Theorems (HHvKT) and Non-Abelian Algebraic Topology (NAAT) , noncommutativity of diagrams and non-Abelian theories, Non-Abelian Categorical Ontology , noncommutative topological invariants of complex dynamic state spaces, Natural transformations in molecular and relational biology,molecular class variables (mcv) , Natural transformations and the Yoneda-Grothendieck Lemma/construction , variable groupoids, variable categories, Variable Topology and atlas structures, Biomolecular classes and Metabolic-Repair (M-R)-systems 1
Cauchy inequalities 1
Cellular Interactomics 1
Central Limit Theorem 1
Ceva 1
Characteristic roots 1
CREATOR
SHOW DETAILS